$\forall$${\it es}$:event\_system\{i:l\}, $a$,$b$,$c$:es{-}E(${\it es}$).
\\[0ex]es{-}locl(${\it es}$; $a$; $b$) $\Rightarrow$ es{-}le(${\it es}$; $b$; $c$) $\Rightarrow$ es{-}locl(${\it es}$; $a$; $c$)